 $LOAD_PATH.unshift File.join(File.dirname(__FILE__),'../..','ext_pr1/lib')
 require 'ext_pr1_v4'

# Transformation der Prädikatsfunktion: Angenehm, aus dem Programm 
# praedikatsfunktionen_v0.rb
#
# angenehm ::= (temp) :: Int -> where (temp >=-273)
# return true when (temp >=18 and temp <=25) otherwise false

def angenehm_and(temp)
  check_pre((temp.is_a?(Integer) and temp >= -273))
  (temp >= 18) and (temp <= 25)
end

def angenehm_or(temp)
  check_pre((temp.is_a?(Integer) and temp >= -273))
  !((temp < 18) or (temp > 25))
end

def angenehm_conditional(temp)
  check_pre((temp.is_a?(Integer)and temp >= -273))
  (temp >= 18) ? (temp <= 25):false
end
